Dana M. Scott: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel's Ontological Proof and Its Variants

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 158 KB

english, 2011

2

Foundational Aspects of Theories of Measurement

Dana Scott and Patrick Suppes

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 538 KB

english, 1958

3

A proof of the independence of the continuum hypothesis

Journal:

Theory of Computing Systems

Year:

1967

Language:

english

File:

PDF, 1.49 MB

english, 1967

4

Dispositional Forgiveness of Self, Others, and Situations

Laura Yamhure Thompson, C. R. Snyder, Lesa Hoffman, Scott T. Michael, Heather N. Rasmussen, Laura S. Billings, Laura Heinze, Jason E. Neufeld, Hal S. Shorey, Jessica C. Roberts, Danae E. Roberts

Journal:

Journal of Personality

Year:

2005

Language:

english

File:

PDF, 229 KB

english, 2005

5

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Gödel Phenomenon in Mathematics: A Modern View

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 298 KB

2011

6

Prophylactic and therapeutic remdesivir (GS-5734) treatment in the rhesus macaque model of MERS-CoV infection

de Wit, Emmie, Feldmann, Friederike, Cronin, Jacqueline, Jordan, Robert, Okumura, Atsushi, Thomas, Tina, Scott, Dana, Cihlar, Tomas, Feldmann, Heinz

Journal:

Proceedings of the National Academy of Sciences

Year:

2020

Language:

english

File:

PDF, 1.21 MB

english, 2020

7

Data Types as Lattices

Journal:

SIAM Journal on Computing

Year:

1976

Language:

english

File:

PDF, 7.06 MB

english, 1976

8

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || The Transfinite Universe

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 210 KB

2011

9

Methods for interaction analyses using family-based case-control data: conditional logistic regression versus generalized estimating equations

Dana B. Hancock, Eden R. Martin, Yi-Ju Li, William K. Scott

Journal:

Genetic Epidemiology

Year:

2007

Language:

english

File:

PDF, 145 KB

english, 2007

10

Measurement structures and linear inequalities

Journal:

Journal of Mathematical Psychology

Year:

1964

Language:

english

File:

PDF, 798 KB

english, 1964

11

Reconsidering Ordered Pairs

Dana Scott and Dominic McCarty

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 1.73 MB

english, 2008

12

Affective behavior during mother–daughter conflict and borderline personality disorder severity across adolescence.

Whalen, Diana J., Scott, Lori N., Jakubowski, Karen P., McMakin, Dana L., Hipwell, Alison E., Silk, Jennifer S., Stepp, Stephanie D.

Journal:

Personality Disorders: Theory, Research, and Treatment

Year:

2014

Language:

english

File:

PDF, 162 KB

english, 2014

13

ACM Turing Award Lectures || Logic and programming languages

Year:

2007

Language:

english

File:

PDF, 1.28 MB

english, 2007

14

Vocal Traditions: Miller Voice Method

Miller, Scott, Patrick, John, Joynt, Liam, Dana, Kristi

Journal:

Voice and Speech Review

Year:

2018

Language:

english

File:

PDF, 911 KB

english, 2018

15

Revisiting the Link: Evidence of the Rates of Autism in Studies of Gender Diverse Individuals

Strang, John F., Janssen, Aron, Tishelman, Amy, Leibowitz, Scott F., Kenworthy, Lauren, McGuire, Jenifer K., Edwards-Leeper, Laura, Mazefsky, Carla A., Rofey, Dana, Bascom, Julia, Caplan, Reid, Gomez-

Journal:

Journal of the American Academy of Child & Adolescent Psychiatry

Year:

2018

Language:

english

File:

PDF, 130 KB

english, 2018

16

Current Research and Technological Developments on the Dead Sea Scrolls (Conference on the Texts from the Judean Desert, Jerusalem, 30 April 1995) ||

Parry, Donald, Moore Cross, Frank, Parry, Donald, Elgvin, Torleif, Pike, Dana, Rolph Seely, David, Woodward, Scott, Kahila, Gila, Smith, Patricia, Greenblatt, Charles, Zias, Joe, Broshi, Magen, Booras

Year:

1996

File:

PDF, 25.38 MB

1996

17

Semantical archaeology: A parable

Journal:

Year:

1970

Language:

english

File:

PDF, 497 KB

english, 1970

18

Teacher–Student Relationship Climate and School Outcomes: Implications for Educational Policy Initiatives

John P. Barile, Dana K. Donohue, Elizabeth R. Anthony, Andrew M. Baker, Scott R. Weaver, Christopher C. Henrich

Journal:

Journal of Youth and Adolescence

Year:

2012

Language:

english

File:

PDF, 235 KB

english, 2012

19

Exploring multiple profiles of highly rated learner compositions

Scott Jarvis, Leslie Grant, Dawn Bikowski, Dana Ferris

Journal:

Journal of Second Language Writing

Year:

2003

Language:

english

File:

PDF, 192 KB

english, 2003

20

[Lecture Notes in Mathematics] Applications of Sheaves Volume 753 || Fragments of the history of sheaf theory

Fourman, Michael, Mulvey, Christopher, Scott, Dana

Year:

1979

Language:

english

File:

PDF, 3.49 MB

english, 1979

21

[Society of Petroleum Engineers SPE Asia Pacific Oil and Gas Conference - Adelaide, Australia (1996-10-28)] SPE Asia Pacific Oil and Gas Conference - Development, Testing, and Field Case Histories of Multilateral Well Completion Systems

Longbottom, J.R., Dale, Dana, Waddell, Kevin, Bruha, Scott, Roberts, John

Language:

english

File:

PDF, 1.17 MB

english

22

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel, the Mind, and the Laws of Physics

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 498 KB

english, 2011

23

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || “Dozent Gödel Will Not Lecture”

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 172 KB

english, 2011

24

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Logical Hygiene, Foundations, and Abstractions: Diversity among Aspects and Options

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 247 KB

english, 2011

25

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Computation and Intractability: Echoes of Kurt Gödel

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

26

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Gödel, Einstein, Mach, Gamow, and Lanczos: Gödel's Remarkable Excursion into Cosmology

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 1.83 MB

english, 2011

27

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || From the Entscheidungsproblem to the Personal Computer – and Beyond

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

Language:

english

File:

PDF, 5.06 MB

english, 2011

28

Efficacy of an Adjuvanted Middle East Respiratory Syndrome Coronavirus Spike Protein Vaccine in Dromedary Camels and Alpacas

Adney, Danielle, Wang, Lingshu, van Doremalen, Neeltje, Shi, Wei, Zhang, Yi, Kong, Wing-Pui, Miller, Megan, Bushmaker, Trenton, Scott, Dana, de Wit, Emmie, Modjarrad, Kayvon, Petrovsky, Nikolai, Graha

Journal:

Year:

2019

Language:

english

File:

PDF, 4.74 MB

english, 2019

29

Kurt Gödel and the Foundations of Mathematics (Horizons of Truth) || Short Biography of Kurt Gödel

Baaz, Matthias, Papadimitriou, Christos H., Scott, Dana S., Putnam, Hilary, Harper, Charles L.

Year:

2011

File:

PDF, 432 KB

2011

30

Some definitional suggestions for automata theory

Journal:

Journal of Computer and System Sciences

Year:

1967

Language:

english

File:

PDF, 1.16 MB

english, 1967

31

A type-theoretical alternative to ISWIM, CUCH, OWHY

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.89 MB

english, 1993

32

Some Reflections on Strachey and His Work

Journal:

Higher-Order and Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 46 KB

english, 2000

33

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Lambda Calculus: Some Models, Some Philosophy

Year:

1980

Language:

english

File:

PDF, 2.23 MB

english, 1980

34

[Lecture Notes in Mathematics] Applications of Sheaves Volume 753 || Sheaf theory and zero-dimensional mappings

Fourman, Michael, Mulvey, Christopher, Scott, Dana

Year:

1979

Language:

english

File:

PDF, 527 KB

english, 1979

35

Kaiser Permanente's Community Health Initiative in Northern California: Evaluation Findings and Lessons Learned

Cheadle, Allen, Rauzon, Suzanne, Spring, Rebecca, Schwartz, Pamela M, Gee, Scott, Gonzalez, Esmeralda, Ravel, Jodi, Reilly, Coire, Taylor, Anthony, Williamson, Dana

Journal:

American Journal of Health Promotion

Year:

2012

Language:

english

File:

PDF, 442 KB

english, 2012

36

Humans take control of fire-driven diversity changes in Mediterranean Iberia’s vegetation during the mid–late Holocene

Connor, Simon E, Vannière, Boris, Colombaroli, Daniele, Anderson, R Scott, Carrión, José S, Ejarque, Ana, Gil Romera, Graciela, González-Sampériz, Penélope, Hoefer, Dana, Morales-Molino, César, Revell

Journal:

Year:

2019

Language:

english

File:

PDF, 448 KB

english, 2019

37

PolyJet 3D-Printed Enclosed Microfluidic Channels without Photocurable Supports

Castiaux, Andre D, Pinger, Cody, Hayter, Elizabeth A, Bunn, Marcus E., Martin, R. Scott, Spence, Dana M.

Journal:

Analytical Chemistry

Year:

2019

Language:

english

File:

PDF, 830 KB

english, 2019

38

A digital twin based on OpenFAST linearizations for real-time load and fatigue estimation of land-based turbines

Branlard, Emmanuel, Jonkman, Jason, Dana, Scott, Doubrawa, Paula

Journal:

Journal of Physics Conference Series

Year:

2020

File:

PDF, 1.73 MB

2020

39

Ignatian Spirituality and Career Development: New Evidence for Age-Old Practices

Campanario, Scott C., Bikos, Lynette H., Kendall, Dana L.

Journal:

Journal of Career Development

Year:

2020

File:

PDF, 267 KB

2020

40

Hydroclimatic and channel snowpack controls over suspended sediment and grain size transport in a High Arctic catchment

Dana M. McDonald, Scott F. Lamoureux

Journal:

Earth Surface Processes and Landforms

Year:

2009

Language:

english

File:

PDF, 953 KB

english, 2009

41

Equilogical spaces

Andrej Bauer, Lars Birkedal, Dana S. Scott

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 340 KB

english, 2004

42

Thrips (Thysanoptera: Thripidae) mitigation in seedling cotton using strip tillage and winter cover crops

Michael D Toews, R Scott Tubbs, Dylan Q Wann, Dana Sullivan

Journal:

Pest Management Science

Year:

2010

Language:

english

File:

PDF, 188 KB

english, 2010

43

Powersets, Fixed Points, and Lambda Calculus

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

File:

PDF, 27 KB

2001

44

Pharmaceuticals and Other Organic Waste Water Contaminants Within a Leachate Plume Downgradient of a Municipal Landfill

Kimberlee K. Barnes, Scott C. Christenson, Dana W. Kolpin, Michael J. Focazio, Edward T. Furlong, Steven D. Zaugg, Michael T. Meyer, Larry B. Barber

Journal:

Groundwater Monitoring & Remediation

Year:

2004

File:

PDF, 753 KB

2004

45

[Lecture Notes in Mathematics] Applications of Sheaves Volume 753 || Identity and existence in intuitionistic logic

Fourman, Michael, Mulvey, Christopher, Scott, Dana

Year:

1979

Language:

english

File:

PDF, 1.46 MB

english, 1979

46

Letters to the Editor

Ronald L. Graham, Arthur Jaffe, Klaus Peters, Constance Reid, Dana Scott, André Weil, Paul R. Chernoff

Journal:

The Mathematical Intelligencer

Year:

1987

Language:

english

File:

PDF, 800 KB

english, 1987

47

Insolubility of the Problem of Homeomorphyby A. A. Markov

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 103 KB

english, 1962

48

On a Theorem of Vaughtby Leon Henkin

Review by: Dana Scott

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 187 KB

english, 1959

49

[Lecture Notes in Mathematics] Higher Set Theory Volume 669 || The evolution of large cardinal axioms in set theory

Müller, Gert H., Scott, Dana S.

Year:

1978

Language:

english

File:

PDF, 8.52 MB

english, 1978

50

Contextualizing Nature of Science Instruction in Socioscientific Issues

Eastwood, Jennifer Lynne, Sadler, Troy D., Zeidler, Dana L., Lewis, Anna, Amiri, Leila, Applebaum, Scott

Journal:

International Journal of Science Education

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012